reduction formula for cos^nx dx